{
  "name": "Nikita Koval", 
  "organization": "IST, JetBrains (Austria)", 
  "tags": [
    "ae-ppopp2019"
  ]
}